$\forall$$A$:Type, ${\it eq}$:EqDecider($A$), $B$:Top, $x$, $y$:$A$, $v$, $u$:Top. ($\neg$($x$ = $y$)) $\Rightarrow$ $x$ : $v$ $\parallel$ $y$ : $u$